minimal divisible extension

极小可除扩张